Fix some details of previous change.
authorGlenn Morris <rgm@gnu.org>
Sat, 23 Jan 2010 23:18:58 +0000 (15:18 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 23 Jan 2010 23:18:58 +0000 (15:18 -0800)
commit78dd2ebef5bd49c998170436f900b1160695d960
tree29d82cbd6f67d0dffbcd6ffaa5d3b898e9c82d2c
parentb3a8fe07e1788c7aa4865673daafb3ce196d5487
Fix some details of previous change.
admin/notes/bugtracker